﻿using System;
using System.Collections.Generic;
using System.Text;

namespace MethodArgumentContracts
{
    static class ExistentialQuantification
    {
        [Arcana.Contract.Argument.Any.That.Is.Not.GreaterEqual.Than("collectionValue", 5.0)]
        public static void SimpleCondition(IEnumerable<double> collectionValue)
        {
        }

        [Arcana.Contract.Argument.Any.That.Is.Not.Equal.To("collectionValue", "Q")]
        public static void EqualityCheck(IEnumerable<string> collectionValue)
        {
        }
    }
}
